Symbolic Toolbox